A-homotopy groups, excision, and solvable quotients

We study some properties of A-homotopy groups: geometric interpretations of connectivity, excision results, and a re-interpretation of geometric quotients by solvable groups in terms of covering spaces in the sense of A-homotopy theory. These concepts and results are well-suited to the study of certain quotients via geometric invariant theory. As a case study in geometry of solvable group quotients, we focus on A-homotopy groups of smooth toric varieties. We give simple combinatorial conditions (in terms of fans) guaranteeing vanishing of low degree A-homotopy groups of smooth (proper) toric varieties. Finally, in certain cases, we can actually compute the “next” non-vanishing A-homotopy group (beyond πA 1 1 ) of a smooth toric variety. From this point of view, A-homotopy theory, even with its exquisite sensitivity to algebro-geometric structure, is almost “as tractable” (in low degrees) as ordinary homotopy for large classes of interesting varieties.